161. Logic for applications
Author: / Anil Nerode, Richard A. Shore
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science-mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
,
N47
1997
162. Logic for applications /
Author: Anil Nerode, Richard A. Shore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics,Logic, Symbolic and mathematical
Classification :
QA76
.
9
.
M35
N47
1997
163. Logic for computer scientists /
Author: Uwe Schöning.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
Classification :
QA9
.
S363
1989
164. Logic for mathematics and computer science
Author: Stanley N. Burris
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
،
9
،.
B86
،
1998
165. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
S9393
2001
166. Logica: Metodo Breve
Author: by Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
167. Logical Methods
Author: edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
168. Logical Thinking in the Pyramidal Schema of Concepts
Author: / Lutz Geldsetzer, Richard L. Schwartz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic, Symbolic and mathematical,Mathematics, Philosophy,Philosophy (General),Logic,Computer science,منطق ریاضی,ریاضیات -- فلسفه
Classification :
QA9
.
G325
2013
169. Logicism renewed :
Author: Paul C. Gilmore
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical
Classification :
QA9
.
2
.
G55
2005
170. Logicism renewed : logical foundations for mathematics and computer science
Author: Gilmore, Paul Carl, 5291-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1L44
Vol
.
23
171. Many-Valued Logics :
Author: by Leonard Bolc, Piotr Borowik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
45
B954
1992
172. Many-sorted logic and its applications
Author: edited by K. Meinke and J.V. Tucker
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Logic, Symbolic and mathematical,، Artificial intelligence
Classification :
QA
76
.
9
.
M35
M35
1993
173. Mathematical Principles of Fuzzy Logic
Author: by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
174. Mathematical Reasoning :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.
Classification :
QA9
.
M347
175. Mathematical foundations of computer science 1993 :
Author: Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
Classification :
QA76
.
9
.
M35
A537
1993
176. Mathematical logic
Author: / Wei Li
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Mathematische Logik.--swd,Mathematics.
Classification :
QA9
,.
L475
,
2010
177. Mathematical logic and theoretical computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
Classification :
QA
9
.
2
.
M35
1987
178. Mathematical logic for computer science
Author: Lu, Chung-wan.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic data processing - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
L8
1989
179. Mathematical logic for computer science
پدیدآورنده : Lu, Chung-wan
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
180. Mathematical logic for computer science
Author: Lu, Zhong-Wan
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35L8
1989
